-
1 conditional proof
Англо-русский словарь по исследованиям и ноу-хау > conditional proof
-
2 rule of conditional proof
Англо-русский словарь по исследованиям и ноу-хау > rule of conditional proof
-
3 CP
1) Общая лексика: hum. сокр. Colored Protein, хронический панкреатит2) Компьютерная техника: Color Printer, Computer Problem, Computer player (компьютерные игры)3) Медицина: cold pressor test (холодовой прессорный тест), (ceruloplasmin) ЦП (церулоплазмин)4) Американизм: Candidate Presentation, Colored People, Construction Permit5) Ботаника: Carnivorous Plant6) Спорт: Card Points, Cheer Points, Contribution Points7) Военный термин: Canadian patrol, Career Program, Character Position, Check Points, Closest Point, Co-Pilot, Communication Problem, Contingency Planning, Correction Processor, Counterproliferation, central point, central procurement, checkpoint, chemical protective, collision probability, command paymaster, command pilot, command post, communications personnel, component parts, conceptual phase, concrete-piercing, constrained procedure, contact party, contact point, control panel, control point, control post, control procedures, control program, cost and performances, cross and point, КП, командный пункт8) Техника: cable party, cable sensor, call on positive, candidate prototype, card punch, center tap, ceramic package, character point, charging pump, clock phase, closed-packed crystals, coating permeability, cold pipe, combined parity, command pulse, communications programs, concrete pipe, condensate pump, console processor, constant pitch, constant power, containment purge, control parameter, control plane, control procedure, coolant pump, cooling pond, copy-protected, corrosion product, cost of propellant, critical power, cyclopentane, molecular heat at constant pressure9) Сельское хозяйство: Cross Pairs, cost price, crude protein10) Химия: Creatine Phosphate, хч (химически чистый)11) Математика: задача с ограничениями (constrained problem), непрерывный параметр (continuous parameter), общая часть (common part), принцип соответствия (correspondence principle), условное доказательство (conditional proof)12) Религия: Cumberland Presbyterian13) Метеорология: Continental Polar14) Железнодорожный термин: Canadian Pacific Railway15) Юридический термин: Child Pornography, Close Proximity, Community Policing16) Бухгалтерия: Credit Points17) Автомобильный термин: crankshaft position sensor (Ford), canister purge (GM)18) Биржевой термин: C P19) Грубое выражение: Crap Participation20) Телекоммуникации: Call Processing, Charging Party, Coordination Processor, Customer Premises21) Сокращение: Camp, Campus Police (MIT, others probably too), Canadian Pacific, Canadian Press, Captain of the Port, Career Program (USA), Carrier Route Presort rate category abbreviation on letter mail key line, Central Processing/Processor, Circulaire Pivot (Circular pivot (France)), Circular Polarised, Circularly Polarized, Civil aircraft marking (Bolivia), Clock Pulse, Close Protection, Code of Procedure, Colis Postaux (international mail category - see IMM), Communications Processor, Communist Party, Conservative Party, Court of Probate, centre of pressure, coal port, common prayer, copilot, the Canadian Press, Character Pointer, conditions precedent (в юридических текстах), Chrome-Plated (хромированный)22) Университет: Campus Police, College Program, Course Pack, Course Packet23) Физика: Coherent Potential, Coulomb Potential24) Физиология: Cerebral Palsy, Cervical Position, Chest pain, Chronic Pain, Component Pertussis, Current Partner25) Фото: Colour Printing26) Электроника: Capability performance, Chip place, Continuous Propagation, Process capability27) Вычислительная техника: Centronics Parallel, Connection Processor, command processor, current pointer, current position, текущая позиция, Contention Period (DCF, MAC), Control Program (IBM, OS, VM/ESA, VM), Control Point (IBM, SNA), Coordination Point (ISO 9646-3, TTCN), Campus Police (MIT, others probably too), командный процессор, текущая точка, текущей позиции28) Литература: Charter Party29) Нефть: casing point, casing pressure, circulating pressure, compaction, controllable pitch, глубина спуска обсадной колонны (casing point), давление в обсадной колонне (casing pressure), сантипуаз (единица абсолютной вязкости), шаг зацепления30) Биохимия: Continuous Phase31) Картография: chosen point32) Банковское дело: коммерческие бумаги (commercial paper), краткосрочный коммерческий вексель (commercial paper)33) Фирменный знак: Critical Path, Inc.34) Холодильная техника: coefficient of performance35) Экология: cloud picture36) Деловая лексика: Chemical Plant, Commercial Plan, Commercial Property, Common Production, Content Partner, Custom Products, Customer Pick37) Бытовая техника: указатель символа38) Бурение: casing pressure( pressure on the annulus between tubing and casing (this is measured at the surface), обсадная труба (casing pipe)39) Глоссарий компании Сахалин Энерджи: connecting pipeline, катодная защита (cathodic protection), cathodic protection (electrical protection of metals against corrosion), Contracting and Procurement, continuous polymerization непрерывная полимеризация40) Нефтегазовая техника давление в межтрубном пространстве (между эксплуатационной и лифтовой колоннами), защита от коррозии, corrosion protection, антикоррозионная защита41) Менеджмент: construction plan42) Образование: Citizens Prevail, Classroom Participation, Corporal Punishment43) Инвестиции: commercial paper44) Сетевые технологии: central processor, communication processor, current point, ЦП, коммуникационный процессор, центральный процессор45) Полимеры: Canadian Patent, calendered plate, calorific power, cathode polarization, cellulose paper, cellulose propionate, center of pressure, chemically pure, close-packed, constant potential, constant pressure, continuous polymerization46) Программирование: cloud provider47) Автоматика: chain pull, circular pitch, continuous path48) Пластмассы: Carbon Petroleum49) Сахалин Р: cathodic protection50) Химическое оружие: Construction phase, check point, construction package51) Макаров: casing pressure, cesspool, circular polarization, conductive plastics, conductive polymer, continuous processor, cost of the propellant52) Расширение файла: Copy Protected53) SAP.тех. кодовая страница, копия54) Нефть и газ: cloud point, electrochemical protection, коррозионная защита, ЭХЗ, электрохимическая защита, cathode protection, электрохимзащита55) Керамика: Chemical Preparation56) Логистика: Contracts and Procurement57) Строительные материалы: Chrome Polished (покрытие)58) Собаководство: Canine Parvovirus59) Христианство: Church Planting, ОНЦ60) Яхтенный спорт: Prismatic Coefficient61) Должность: Couch Potato62) Чат: Created Posts, Cutie Patootie63) NYSE. Canadian Pacific, LTD.64) НАСА: Controlled Planetary, Crash Pad65) Международные перевозки: carriage paid, carriage раid -
4 Cp
1) Общая лексика: hum. сокр. Colored Protein, хронический панкреатит2) Компьютерная техника: Color Printer, Computer Problem, Computer player (компьютерные игры)3) Медицина: cold pressor test (холодовой прессорный тест), (ceruloplasmin) ЦП (церулоплазмин)4) Американизм: Candidate Presentation, Colored People, Construction Permit5) Ботаника: Carnivorous Plant6) Спорт: Card Points, Cheer Points, Contribution Points7) Военный термин: Canadian patrol, Career Program, Character Position, Check Points, Closest Point, Co-Pilot, Communication Problem, Contingency Planning, Correction Processor, Counterproliferation, central point, central procurement, checkpoint, chemical protective, collision probability, command paymaster, command pilot, command post, communications personnel, component parts, conceptual phase, concrete-piercing, constrained procedure, contact party, contact point, control panel, control point, control post, control procedures, control program, cost and performances, cross and point, КП, командный пункт8) Техника: cable party, cable sensor, call on positive, candidate prototype, card punch, center tap, ceramic package, character point, charging pump, clock phase, closed-packed crystals, coating permeability, cold pipe, combined parity, command pulse, communications programs, concrete pipe, condensate pump, console processor, constant pitch, constant power, containment purge, control parameter, control plane, control procedure, coolant pump, cooling pond, copy-protected, corrosion product, cost of propellant, critical power, cyclopentane, molecular heat at constant pressure9) Сельское хозяйство: Cross Pairs, cost price, crude protein10) Химия: Creatine Phosphate, хч (химически чистый)11) Математика: задача с ограничениями (constrained problem), непрерывный параметр (continuous parameter), общая часть (common part), принцип соответствия (correspondence principle), условное доказательство (conditional proof)12) Религия: Cumberland Presbyterian13) Метеорология: Continental Polar14) Железнодорожный термин: Canadian Pacific Railway15) Юридический термин: Child Pornography, Close Proximity, Community Policing16) Бухгалтерия: Credit Points17) Автомобильный термин: crankshaft position sensor (Ford), canister purge (GM)18) Биржевой термин: C P19) Грубое выражение: Crap Participation20) Телекоммуникации: Call Processing, Charging Party, Coordination Processor, Customer Premises21) Сокращение: Camp, Campus Police (MIT, others probably too), Canadian Pacific, Canadian Press, Captain of the Port, Career Program (USA), Carrier Route Presort rate category abbreviation on letter mail key line, Central Processing/Processor, Circulaire Pivot (Circular pivot (France)), Circular Polarised, Circularly Polarized, Civil aircraft marking (Bolivia), Clock Pulse, Close Protection, Code of Procedure, Colis Postaux (international mail category - see IMM), Communications Processor, Communist Party, Conservative Party, Court of Probate, centre of pressure, coal port, common prayer, copilot, the Canadian Press, Character Pointer, conditions precedent (в юридических текстах), Chrome-Plated (хромированный)22) Университет: Campus Police, College Program, Course Pack, Course Packet23) Физика: Coherent Potential, Coulomb Potential24) Физиология: Cerebral Palsy, Cervical Position, Chest pain, Chronic Pain, Component Pertussis, Current Partner25) Фото: Colour Printing26) Электроника: Capability performance, Chip place, Continuous Propagation, Process capability27) Вычислительная техника: Centronics Parallel, Connection Processor, command processor, current pointer, current position, текущая позиция, Contention Period (DCF, MAC), Control Program (IBM, OS, VM/ESA, VM), Control Point (IBM, SNA), Coordination Point (ISO 9646-3, TTCN), Campus Police (MIT, others probably too), командный процессор, текущая точка, текущей позиции28) Литература: Charter Party29) Нефть: casing point, casing pressure, circulating pressure, compaction, controllable pitch, глубина спуска обсадной колонны (casing point), давление в обсадной колонне (casing pressure), сантипуаз (единица абсолютной вязкости), шаг зацепления30) Биохимия: Continuous Phase31) Картография: chosen point32) Банковское дело: коммерческие бумаги (commercial paper), краткосрочный коммерческий вексель (commercial paper)33) Фирменный знак: Critical Path, Inc.34) Холодильная техника: coefficient of performance35) Экология: cloud picture36) Деловая лексика: Chemical Plant, Commercial Plan, Commercial Property, Common Production, Content Partner, Custom Products, Customer Pick37) Бытовая техника: указатель символа38) Бурение: casing pressure( pressure on the annulus between tubing and casing (this is measured at the surface), обсадная труба (casing pipe)39) Глоссарий компании Сахалин Энерджи: connecting pipeline, катодная защита (cathodic protection), cathodic protection (electrical protection of metals against corrosion), Contracting and Procurement, continuous polymerization непрерывная полимеризация40) Нефтегазовая техника давление в межтрубном пространстве (между эксплуатационной и лифтовой колоннами), защита от коррозии, corrosion protection, антикоррозионная защита41) Менеджмент: construction plan42) Образование: Citizens Prevail, Classroom Participation, Corporal Punishment43) Инвестиции: commercial paper44) Сетевые технологии: central processor, communication processor, current point, ЦП, коммуникационный процессор, центральный процессор45) Полимеры: Canadian Patent, calendered plate, calorific power, cathode polarization, cellulose paper, cellulose propionate, center of pressure, chemically pure, close-packed, constant potential, constant pressure, continuous polymerization46) Программирование: cloud provider47) Автоматика: chain pull, circular pitch, continuous path48) Пластмассы: Carbon Petroleum49) Сахалин Р: cathodic protection50) Химическое оружие: Construction phase, check point, construction package51) Макаров: casing pressure, cesspool, circular polarization, conductive plastics, conductive polymer, continuous processor, cost of the propellant52) Расширение файла: Copy Protected53) SAP.тех. кодовая страница, копия54) Нефть и газ: cloud point, electrochemical protection, коррозионная защита, ЭХЗ, электрохимическая защита, cathode protection, электрохимзащита55) Керамика: Chemical Preparation56) Логистика: Contracts and Procurement57) Строительные материалы: Chrome Polished (покрытие)58) Собаководство: Canine Parvovirus59) Христианство: Church Planting, ОНЦ60) Яхтенный спорт: Prismatic Coefficient61) Должность: Couch Potato62) Чат: Created Posts, Cutie Patootie63) NYSE. Canadian Pacific, LTD.64) НАСА: Controlled Planetary, Crash Pad65) Международные перевозки: carriage paid, carriage раid -
5 RCP
1) Общая лексика: rate combination point (авианакладная)2) Компьютерная техника: Region Code Protected, Remote Communication Processor, Run Control Parameter3) Американизм: Radon Contractor Proficiency, Recycled- Content Product4) Военный термин: Raster Color Printer, Relevant Common Picture, radar control panel, radar conversion program, radiological control program, recording control panel, recovery command post, regimental command post, remote control panel, request for contractual procurement, requirements change proposal, rotational combat personnel5) Техника: Remote Copy Protocol, radar chart protector, reactor characterization program, reliability computation package, remote-control panel, right circular polarization6) Строительство: reflected ceiling plan7) Математика: правило условного доказательства (rule of conditional proof)8) Ветеринария: Registry of Comparative Pathology (defunct)9) Телекоммуникации: Remote Communications Processor (IBM)10) Сокращение: статистические сополимеры (random copolymers), rough-cut planning11) Университет: Research Consultation Program, Residential College Program12) Вычислительная техника: Real-Time Control Protocol, Remote Copy Program, restore cursor position, routing coprocessor13) Нефть: программа для вычисления показателей надёжности (reliability computation package), resistance cathodic protection (производитель - компания CorrOcean)14) Связь: Routing Core Platform (Alcatel 7770 RCP)15) Биотехнология: Rolling-circle product16) СМИ: Rates Cards And Platform17) Глоссарий компании Сахалин Энерджи: reduced circulating pressure18) Нефтепромысловый: проппант с полимерным покрытием (resin coated proppant), пропант с полимерным покрытием (resin coated proppant)19) Сетевые технологии: Remote CoPy, Remote Communications Processor, дистанционный связной процессор20) Полимеры: Rapid Crack Propagation21) Полупроводники: right circularly polarized (light)22) Химическое оружие: Reinforced concrete pipe23) Расширение файла: Remote Copy (Internet)24) Электричество: реле контроля фаз (phase control relay)25) Электротехника: reactor coolant pump26) Hi-Fi. Real Colour Processing27) Общественная организация: Raptor Conservation Program29) AMEX. Morgan Stanley Dean Witter -
6 cP
1) Общая лексика: hum. сокр. Colored Protein, хронический панкреатит2) Компьютерная техника: Color Printer, Computer Problem, Computer player (компьютерные игры)3) Медицина: cold pressor test (холодовой прессорный тест), (ceruloplasmin) ЦП (церулоплазмин)4) Американизм: Candidate Presentation, Colored People, Construction Permit5) Ботаника: Carnivorous Plant6) Спорт: Card Points, Cheer Points, Contribution Points7) Военный термин: Canadian patrol, Career Program, Character Position, Check Points, Closest Point, Co-Pilot, Communication Problem, Contingency Planning, Correction Processor, Counterproliferation, central point, central procurement, checkpoint, chemical protective, collision probability, command paymaster, command pilot, command post, communications personnel, component parts, conceptual phase, concrete-piercing, constrained procedure, contact party, contact point, control panel, control point, control post, control procedures, control program, cost and performances, cross and point, КП, командный пункт8) Техника: cable party, cable sensor, call on positive, candidate prototype, card punch, center tap, ceramic package, character point, charging pump, clock phase, closed-packed crystals, coating permeability, cold pipe, combined parity, command pulse, communications programs, concrete pipe, condensate pump, console processor, constant pitch, constant power, containment purge, control parameter, control plane, control procedure, coolant pump, cooling pond, copy-protected, corrosion product, cost of propellant, critical power, cyclopentane, molecular heat at constant pressure9) Сельское хозяйство: Cross Pairs, cost price, crude protein10) Химия: Creatine Phosphate, хч (химически чистый)11) Математика: задача с ограничениями (constrained problem), непрерывный параметр (continuous parameter), общая часть (common part), принцип соответствия (correspondence principle), условное доказательство (conditional proof)12) Религия: Cumberland Presbyterian13) Метеорология: Continental Polar14) Железнодорожный термин: Canadian Pacific Railway15) Юридический термин: Child Pornography, Close Proximity, Community Policing16) Бухгалтерия: Credit Points17) Автомобильный термин: crankshaft position sensor (Ford), canister purge (GM)18) Биржевой термин: C P19) Грубое выражение: Crap Participation20) Телекоммуникации: Call Processing, Charging Party, Coordination Processor, Customer Premises21) Сокращение: Camp, Campus Police (MIT, others probably too), Canadian Pacific, Canadian Press, Captain of the Port, Career Program (USA), Carrier Route Presort rate category abbreviation on letter mail key line, Central Processing/Processor, Circulaire Pivot (Circular pivot (France)), Circular Polarised, Circularly Polarized, Civil aircraft marking (Bolivia), Clock Pulse, Close Protection, Code of Procedure, Colis Postaux (international mail category - see IMM), Communications Processor, Communist Party, Conservative Party, Court of Probate, centre of pressure, coal port, common prayer, copilot, the Canadian Press, Character Pointer, conditions precedent (в юридических текстах), Chrome-Plated (хромированный)22) Университет: Campus Police, College Program, Course Pack, Course Packet23) Физика: Coherent Potential, Coulomb Potential24) Физиология: Cerebral Palsy, Cervical Position, Chest pain, Chronic Pain, Component Pertussis, Current Partner25) Фото: Colour Printing26) Электроника: Capability performance, Chip place, Continuous Propagation, Process capability27) Вычислительная техника: Centronics Parallel, Connection Processor, command processor, current pointer, current position, текущая позиция, Contention Period (DCF, MAC), Control Program (IBM, OS, VM/ESA, VM), Control Point (IBM, SNA), Coordination Point (ISO 9646-3, TTCN), Campus Police (MIT, others probably too), командный процессор, текущая точка, текущей позиции28) Литература: Charter Party29) Нефть: casing point, casing pressure, circulating pressure, compaction, controllable pitch, глубина спуска обсадной колонны (casing point), давление в обсадной колонне (casing pressure), сантипуаз (единица абсолютной вязкости), шаг зацепления30) Биохимия: Continuous Phase31) Картография: chosen point32) Банковское дело: коммерческие бумаги (commercial paper), краткосрочный коммерческий вексель (commercial paper)33) Фирменный знак: Critical Path, Inc.34) Холодильная техника: coefficient of performance35) Экология: cloud picture36) Деловая лексика: Chemical Plant, Commercial Plan, Commercial Property, Common Production, Content Partner, Custom Products, Customer Pick37) Бытовая техника: указатель символа38) Бурение: casing pressure( pressure on the annulus between tubing and casing (this is measured at the surface), обсадная труба (casing pipe)39) Глоссарий компании Сахалин Энерджи: connecting pipeline, катодная защита (cathodic protection), cathodic protection (electrical protection of metals against corrosion), Contracting and Procurement, continuous polymerization непрерывная полимеризация40) Нефтегазовая техника давление в межтрубном пространстве (между эксплуатационной и лифтовой колоннами), защита от коррозии, corrosion protection, антикоррозионная защита41) Менеджмент: construction plan42) Образование: Citizens Prevail, Classroom Participation, Corporal Punishment43) Инвестиции: commercial paper44) Сетевые технологии: central processor, communication processor, current point, ЦП, коммуникационный процессор, центральный процессор45) Полимеры: Canadian Patent, calendered plate, calorific power, cathode polarization, cellulose paper, cellulose propionate, center of pressure, chemically pure, close-packed, constant potential, constant pressure, continuous polymerization46) Программирование: cloud provider47) Автоматика: chain pull, circular pitch, continuous path48) Пластмассы: Carbon Petroleum49) Сахалин Р: cathodic protection50) Химическое оружие: Construction phase, check point, construction package51) Макаров: casing pressure, cesspool, circular polarization, conductive plastics, conductive polymer, continuous processor, cost of the propellant52) Расширение файла: Copy Protected53) SAP.тех. кодовая страница, копия54) Нефть и газ: cloud point, electrochemical protection, коррозионная защита, ЭХЗ, электрохимическая защита, cathode protection, электрохимзащита55) Керамика: Chemical Preparation56) Логистика: Contracts and Procurement57) Строительные материалы: Chrome Polished (покрытие)58) Собаководство: Canine Parvovirus59) Христианство: Church Planting, ОНЦ60) Яхтенный спорт: Prismatic Coefficient61) Должность: Couch Potato62) Чат: Created Posts, Cutie Patootie63) NYSE. Canadian Pacific, LTD.64) НАСА: Controlled Planetary, Crash Pad65) Международные перевозки: carriage paid, carriage раid -
7 cp
1) Общая лексика: hum. сокр. Colored Protein, хронический панкреатит2) Компьютерная техника: Color Printer, Computer Problem, Computer player (компьютерные игры)3) Медицина: cold pressor test (холодовой прессорный тест), (ceruloplasmin) ЦП (церулоплазмин)4) Американизм: Candidate Presentation, Colored People, Construction Permit5) Ботаника: Carnivorous Plant6) Спорт: Card Points, Cheer Points, Contribution Points7) Военный термин: Canadian patrol, Career Program, Character Position, Check Points, Closest Point, Co-Pilot, Communication Problem, Contingency Planning, Correction Processor, Counterproliferation, central point, central procurement, checkpoint, chemical protective, collision probability, command paymaster, command pilot, command post, communications personnel, component parts, conceptual phase, concrete-piercing, constrained procedure, contact party, contact point, control panel, control point, control post, control procedures, control program, cost and performances, cross and point, КП, командный пункт8) Техника: cable party, cable sensor, call on positive, candidate prototype, card punch, center tap, ceramic package, character point, charging pump, clock phase, closed-packed crystals, coating permeability, cold pipe, combined parity, command pulse, communications programs, concrete pipe, condensate pump, console processor, constant pitch, constant power, containment purge, control parameter, control plane, control procedure, coolant pump, cooling pond, copy-protected, corrosion product, cost of propellant, critical power, cyclopentane, molecular heat at constant pressure9) Сельское хозяйство: Cross Pairs, cost price, crude protein10) Химия: Creatine Phosphate, хч (химически чистый)11) Математика: задача с ограничениями (constrained problem), непрерывный параметр (continuous parameter), общая часть (common part), принцип соответствия (correspondence principle), условное доказательство (conditional proof)12) Религия: Cumberland Presbyterian13) Метеорология: Continental Polar14) Железнодорожный термин: Canadian Pacific Railway15) Юридический термин: Child Pornography, Close Proximity, Community Policing16) Бухгалтерия: Credit Points17) Автомобильный термин: crankshaft position sensor (Ford), canister purge (GM)18) Биржевой термин: C P19) Грубое выражение: Crap Participation20) Телекоммуникации: Call Processing, Charging Party, Coordination Processor, Customer Premises21) Сокращение: Camp, Campus Police (MIT, others probably too), Canadian Pacific, Canadian Press, Captain of the Port, Career Program (USA), Carrier Route Presort rate category abbreviation on letter mail key line, Central Processing/Processor, Circulaire Pivot (Circular pivot (France)), Circular Polarised, Circularly Polarized, Civil aircraft marking (Bolivia), Clock Pulse, Close Protection, Code of Procedure, Colis Postaux (international mail category - see IMM), Communications Processor, Communist Party, Conservative Party, Court of Probate, centre of pressure, coal port, common prayer, copilot, the Canadian Press, Character Pointer, conditions precedent (в юридических текстах), Chrome-Plated (хромированный)22) Университет: Campus Police, College Program, Course Pack, Course Packet23) Физика: Coherent Potential, Coulomb Potential24) Физиология: Cerebral Palsy, Cervical Position, Chest pain, Chronic Pain, Component Pertussis, Current Partner25) Фото: Colour Printing26) Электроника: Capability performance, Chip place, Continuous Propagation, Process capability27) Вычислительная техника: Centronics Parallel, Connection Processor, command processor, current pointer, current position, текущая позиция, Contention Period (DCF, MAC), Control Program (IBM, OS, VM/ESA, VM), Control Point (IBM, SNA), Coordination Point (ISO 9646-3, TTCN), Campus Police (MIT, others probably too), командный процессор, текущая точка, текущей позиции28) Литература: Charter Party29) Нефть: casing point, casing pressure, circulating pressure, compaction, controllable pitch, глубина спуска обсадной колонны (casing point), давление в обсадной колонне (casing pressure), сантипуаз (единица абсолютной вязкости), шаг зацепления30) Биохимия: Continuous Phase31) Картография: chosen point32) Банковское дело: коммерческие бумаги (commercial paper), краткосрочный коммерческий вексель (commercial paper)33) Фирменный знак: Critical Path, Inc.34) Холодильная техника: coefficient of performance35) Экология: cloud picture36) Деловая лексика: Chemical Plant, Commercial Plan, Commercial Property, Common Production, Content Partner, Custom Products, Customer Pick37) Бытовая техника: указатель символа38) Бурение: casing pressure( pressure on the annulus between tubing and casing (this is measured at the surface), обсадная труба (casing pipe)39) Глоссарий компании Сахалин Энерджи: connecting pipeline, катодная защита (cathodic protection), cathodic protection (electrical protection of metals against corrosion), Contracting and Procurement, continuous polymerization непрерывная полимеризация40) Нефтегазовая техника давление в межтрубном пространстве (между эксплуатационной и лифтовой колоннами), защита от коррозии, corrosion protection, антикоррозионная защита41) Менеджмент: construction plan42) Образование: Citizens Prevail, Classroom Participation, Corporal Punishment43) Инвестиции: commercial paper44) Сетевые технологии: central processor, communication processor, current point, ЦП, коммуникационный процессор, центральный процессор45) Полимеры: Canadian Patent, calendered plate, calorific power, cathode polarization, cellulose paper, cellulose propionate, center of pressure, chemically pure, close-packed, constant potential, constant pressure, continuous polymerization46) Программирование: cloud provider47) Автоматика: chain pull, circular pitch, continuous path48) Пластмассы: Carbon Petroleum49) Сахалин Р: cathodic protection50) Химическое оружие: Construction phase, check point, construction package51) Макаров: casing pressure, cesspool, circular polarization, conductive plastics, conductive polymer, continuous processor, cost of the propellant52) Расширение файла: Copy Protected53) SAP.тех. кодовая страница, копия54) Нефть и газ: cloud point, electrochemical protection, коррозионная защита, ЭХЗ, электрохимическая защита, cathode protection, электрохимзащита55) Керамика: Chemical Preparation56) Логистика: Contracts and Procurement57) Строительные материалы: Chrome Polished (покрытие)58) Собаководство: Canine Parvovirus59) Христианство: Church Planting, ОНЦ60) Яхтенный спорт: Prismatic Coefficient61) Должность: Couch Potato62) Чат: Created Posts, Cutie Patootie63) NYSE. Canadian Pacific, LTD.64) НАСА: Controlled Planetary, Crash Pad65) Международные перевозки: carriage paid, carriage раid -
8 rcp
1) Общая лексика: rate combination point (авианакладная)2) Компьютерная техника: Region Code Protected, Remote Communication Processor, Run Control Parameter3) Американизм: Radon Contractor Proficiency, Recycled- Content Product4) Военный термин: Raster Color Printer, Relevant Common Picture, radar control panel, radar conversion program, radiological control program, recording control panel, recovery command post, regimental command post, remote control panel, request for contractual procurement, requirements change proposal, rotational combat personnel5) Техника: Remote Copy Protocol, radar chart protector, reactor characterization program, reliability computation package, remote-control panel, right circular polarization6) Строительство: reflected ceiling plan7) Математика: правило условного доказательства (rule of conditional proof)8) Ветеринария: Registry of Comparative Pathology (defunct)9) Телекоммуникации: Remote Communications Processor (IBM)10) Сокращение: статистические сополимеры (random copolymers), rough-cut planning11) Университет: Research Consultation Program, Residential College Program12) Вычислительная техника: Real-Time Control Protocol, Remote Copy Program, restore cursor position, routing coprocessor13) Нефть: программа для вычисления показателей надёжности (reliability computation package), resistance cathodic protection (производитель - компания CorrOcean)14) Связь: Routing Core Platform (Alcatel 7770 RCP)15) Биотехнология: Rolling-circle product16) СМИ: Rates Cards And Platform17) Глоссарий компании Сахалин Энерджи: reduced circulating pressure18) Нефтепромысловый: проппант с полимерным покрытием (resin coated proppant), пропант с полимерным покрытием (resin coated proppant)19) Сетевые технологии: Remote CoPy, Remote Communications Processor, дистанционный связной процессор20) Полимеры: Rapid Crack Propagation21) Полупроводники: right circularly polarized (light)22) Химическое оружие: Reinforced concrete pipe23) Расширение файла: Remote Copy (Internet)24) Электричество: реле контроля фаз (phase control relay)25) Электротехника: reactor coolant pump26) Hi-Fi. Real Colour Processing27) Общественная организация: Raptor Conservation Program29) AMEX. Morgan Stanley Dean Witter -
9 test
1) испытание; испытания; проверка; контроль (см. тж testing) || испытывать; проверять; контролировать2) тест || тестировать3) стат. критерий•- actual value test
- ageing test
- alpha test
- basic test
- bench test
- benchmark test
- best unbiased test
- beta test
- bias test
- bit-stuck test
- boundary test
- busy test
- checkerboard test
- chi-square test
- class test
- compatibility test
- conditional test
- conditional-branching test
- content test
- count test
- crippled leapfrog test
- data measuring test
- delay test
- design acceptance test
- destructive test
- deterministic test
- diagnostic test
- dynamic test
- echo test
- engineering test
- environmental test
- evaluation test
- exchange test
- exhaustive test
- fault detection test
- formal test
- functional test
- function-independent test
- galloping 0's and 1's test
- galloping column test
- galwrec test
- high-low bias test
- impulse test
- in-house test
- in-process test
- inspection test
- integration test
- jerry-rigged test
- large-scale integration test
- leapfrog test
- leg test
- life test
- limit test
- link test
- logical relationship test
- longevity test
- long-term life test
- loop test
- loopback test
- LSI test
- march test
- marching ones and zeroes test
- marching ones and zeros test
- marginal test
- masest test
- maximum test
- model test
- multiple station test
- multithread test
- nondestructive test
- off-line test
- off-nominal tests
- one-shot tests
- one-sided test
- one-tailed test
- on-line test
- open test
- parameterized test
- path test
- pattern-sensitivity test
- penetration test
- perceptual test
- perimeter desturb test
- personality test
- ping-pong test
- preoperational test
- primary purpose test
- production acceptance test
- product-proof test
- program test
- qualification test
- read-margin test
- reasonableness test
- regression tests
- related transaction test
- reliability test
- remote test
- row disturb test
- sampling test
- screening test
- shifted diagonal test
- sign test
- significance test
- simulation test
- sliding-ONE test
- static test
- statistical test
- status test
- stress test
- suppression test
- system test
- temperature test
- test of grammaticality
- test of normality
- timing tests
- torture test
- total test
- trouble-shooting test
- truth-table test
- two-sample test
- two-tailed test
- volume test
- wafer test
- walking 1 test
- walking column testEnglish-Russian dictionary of computer science and programming > test
-
10 discharge
1) исполнение; отправление (обязанностей, функций) | исполнять; отправлять (обязанности, функции)3) освобождение | освобождать (от ответственности, от наказания, от дальнейшего отбывания наказания, из-под стражи, из заключения)4) реабилитация, оправдание ( подсудимого) | реабилитировать, оправдывать ( подсудимого)5) прекращение ( обязательства) | прекращать ( обязательство)7) увольнение (с должности, из армии) | увольнять9) выгрузка, разгрузка | выгружать, разгружать10) аннулировать; отменять•discharge for inaptitude — увольнение по несоответствию занимаемой должности;
person on conditional discharge — условно освобождённый;
to discharge a bankrupt — 1. погасить задолженность банкрота 2. восстановить банкрота в правах;
to discharge absolutely — освободить полностью;
to discharge conditionally — освободить условно;
to discharge from custody — освободить из-под стражи;
to discharge from employment — освободить от работы;
to discharge from imprisonment — освободить из тюремного заключения;
to discharge from liability — освободить от ответственности;
to discharge from parole — освободить от обязанности соблюдать условия условно-досрочного освобождения;
to discharge from prison — освободить из тюрьмы;
to discharge grand jury — освободить большое жюри от (рассмотрения дела и) принятия решения об обвинительном акте;
to discharge jury — освободить присяжных от (рассмотрения дела и) вынесения вердикта;
to discharge liability — выполнить обязанность;
to discharge on habeas corpus — освободить из-под стражи по процедуре habeas corpus ( см. habeas corpus);
to discharge on preliminary — освободить обвиняемого от ответственности или из-под стражи на стадии предварительного расследования;
to discharge subject to condition — освободить условно;
to discharge the burden of proof — преуспеть в доказывании, представить доказательства (о стороне, на которой лежит бремя доказывания);
to discharge the defendant — освободить ответчика, подсудимого от ответственности;
to discharge the term of sentence — отбыть срок наказания;
- discharge of debtto discharge unconditionally — полностью освободить (от ответственности, от наказания, от дальнейшего отбывания наказания);
- discharge of debtor
- discharge of defendant
- discharge of duty
- discharge of grand jury
- discharge of jury
- discharge of surety
- absolute discharge
- administrative discharge
- air-force discharge
- army discharge
- bad conduct discharge
- conditional discharge
- final discharge
- lawful discharge
- military discharge
- naval discharge
- safe discharge
- suspensive discharge
- unconditional discharge -
11 absolute
ˈæbsəlu:t
1. прил.
1) полный;
абсолютный, безусловный Two great masters of the absolute art of language, Virgil and Pope. ≈ Эти величайшие мастера, которые владели языком абсолютно, Вергилий и Поуп ( из статьи Рескина). Leaving me in absolute ignorance of how to interpret her. ≈ И оставила меня в полной неясности насчет того, как ее понимать. absolute legacy - absolute majority absolute trust absolute prize absolute veto
2) беспримесный, чистый The absolutest, and sometimes loathsomest, trash. ≈ Эта чистейшей воды, и зачастую отвратительнейшая, мразь. absolute alcohol absolute ether
3) самовластный;
абсолютный;
неограниченный absolute power ≈ неограниченная власть absolute ruler ≈ самовластный правитель, тиран absolute monarchy
4) действительный, несомненный absolute evidence absolute proof absolute fact
5) филос. относящийся к абсолюту, абсолютный (в идеалистической философии) absolute idealism absolute idea
6) абсолютный absolute humidity absolute error absolute magnitude absolute ceiling absolute altitude absolute height absolute altimeter absolute scale absolute system absolute temperature absolute zero absolute address absolute value
7) грам. абсолютный, обособленный ablative absolute absolute participial clause
8) лог. абсолютный In respect to the Relation of the Predicate to the Subject, Judgments are divided into simple or absolute, and conditional. ≈ По критерию же отношения субъекта к предикату все суждения делятся на простые или абсолютные, и на условные.
2. сущ.
1) филос. (обыкн. the absolute, the A.) абсолют, окончательная действительность, реальность, как она есть на самом деле( в идеалистических философских концепциях) Shake off that dream of personality, and you will see that good and evil are identical in the Absolute. ≈ Достаточно очнуться от этого сна, который зовется личностью, как станет ясно, что добро и зло - одно и то же с точки зрения абсолюта.
2) филос. (absolutes) абсолютные понятия, принципы, ценности и т. п. to speak in terms of absolutes ≈ оперировать абсолютными понятиями
3) мат. абсолютная величина, модуль(философское) абсолют;
окончательная действительность в идеалистической философии ( *s) абсолютные понятия, принципы, ценности и т. п.;
- to speak in terms of *s оперировать абсолютными понятиями (математика) абсолютная величина, модуль абсолют полный, совершенный, безусловный, абсолютный;
- * indifference полное безразличие;
- * beauty совершенная красота;
- * promise ничем не обусловленное обещание;
- * purity первозданная чистота;
- * trust полное доверие абсолютный, неограниченный;
самовластный;
- * power неограниченная власть;
- * monarchy абсолютная монархия;
- * ruler самовластный правитель чистый, беспримесный;
- * alcohol чистый спирт действительный, несомненный;
- * fact действительный факт;
- * proof несомненное доказательство;
- * evidence неопровержимое свидетельство относящийся к абсолюту;
абсолютный (в идеалистической философии) ;
- * reality первоначальная, самосуществующая реальность;
абсолютная, непознаваемая реальность;
- * idealism абсолютный идеализм;
- * ego трансцендентальное эго;
- * spirit всеобщий дух, Абсолют (специальное) абсолютный;
- * humidity (физическое) абсолютная влажность;
- * scale абсолютная шкала;
- * system (физическое) абсолютная система единиц;
- * temperature( физическое) абсолютная температура;
- * value абсолютная величина;
абсолютное значение;
- * zero (физическое) абсолютный нуль;
- * address( компьютерное) абсолютный адрес (грамматика) абсолютный;
- * construction абсолютный оборотabsolute a грам. абсолютный;
absolute construction абсолютная конструкция ~ абсолютный ~ безусловный ~ беспримесный ~ естественный ~ неограниченный ~ неопровержимый ~ a полный;
безусловный, неограниченный ~ полный ~ a самовластный;
абсолютный;
absolute monarchy абсолытная монархия ~ совершенный ~ a чистый, беспримесный;
absolute alcohol чистый, неразбавленный спирт ~ чистый~ a чистый, беспримесный;
absolute alcohol чистый, неразбавленный спиртabsolute a грам. абсолютный;
absolute construction абсолютная конструкция~ a самовластный;
абсолютный;
absolute monarchy абсолытная монархияdecree ~ решение суда, окончательное и безусловно вступившее в силу decree ~ решение суда, окончательно и безусловно вступившее в силуБольшой англо-русский и русско-английский словарь > absolute
-
12 test
1) испытания || испытывать2) проверка; контроль || проверять; контролировать3) тест; тестирование || тестировать4) критерий; условие; признак•- test of independence
- accelerated life test
- acceleration test
- acceptance test
- actual test
- aging test
- alpha test
- asymptotic test
- audible test
- augmented test
- augmented Dickey-Fuller test
- autocorrelation test
- Bayes test
- bed of nails test
- bench test
- best unbiased test
- beta test
- biased test
- Box-Pierce test
- breakdown test
- breaking test
- break-point test
- Breush-Pagan test
- built-in test
- built-in error rate test
- burn-in reliability test
- built-in self-test
- busy test
- calibration test
- camera linearity test
- captive test
- Charpy test
- check test
- chi-square test
- chi-square test for goodness-of-fit
- chi-square test for homogeneity
- Chow test
- clock-rate test
- closed-loop test
- cointegration test
- combined environmental reliability test
- common factor test
- comparative listening test
- comparison test
- computer-aided test
- conditional moment test
- connectivity test
- conservative test
- consistent test
- constant acceleration test
- constant-load amplitude test
- continuity test
- cumulative sum test
- cumulative sum of squares test
- degradation rate test
- destructive test
- development test
- diagnostic test
- diagnostic function test
- Dickey-Fuller test
- dielectric breakdown test
- differencing test
- distribution-free test
- drive fitness test
- dummy test
- Durbin's h-test
- Durbin-Watson test
- dynamic test
- efficient test
- electrostatic discharge test
- engaged test
- engineering test
- environmental test
- ESD test
- exact test
- exhaustive test
- extensive test
- extreme test
- F-test
- failure-rate test
- field test
- Fisher's test
- Fisher's exact test
- flash test
- forced-failure test
- Friedman's test
- functional test
- gamma test
- Gleiser test
- Godfrey test
- Goldfeld-Quandt test
- go/no-go confidence test
- goodness-of-fit test
- goodness-of-fit chi-square test
- Granger causality test
- Hausman test
- high-potential test
- homogeneity test
- hot-weather test
- hypothesis test
- impact test
- in-circuit test
- independence chi-square test
- indoor test
- information matrix test
- integrated test
- intelligence test
- in-use life test
- invariant test
- J-test
- Kolmogorov-Smirnov test
- Kruskal-Wallis test
- Lagrange multiplier test
- leak test
- leakage test
- life test
- likelihood ratio test
- Ljung-Box test
- local loopback test
- logical test
- log-rank test
- longevity test
- long-term test
- long-time test
- loopback test
- lot-by-lot test
- mandrel test
- Mann-Whitney rank sum test
- Mantel-Cox test
- marginal test
- matrix life test
- memory address test
- misspecification test
- mock-up test
- model test
- modem loopback test
- moisture resistance test
- most powerful test
- multiple-comparison test
- nested test
- non-Bayes test
- nondestructive test
- non-linearity test
- non-nested test
- non-parametric test
- normal-theory based test
- off-line test
- omitted variables test
- on-demand test
- one-sample test
- one-sided test
- on-line test
- on-off test
- open-loop test
- operating-life test
- operational readiness and reliability test
- outer product of gradient test
- over-identifying restrictions test
- parameter constancy test
- parameter-free test
- parametric test
- Pearson's test
- percentage test
- performance test
- power-on self test
- predictive failure test
- preliminary test
- premodel test
- progressive stress test
- proof test
- prototype test
- qualification test
- randomization test
- randomized-step test
- rank test
- reliability test
- remote loopback test
- rig test
- ringing test
- robust statistical test
- routine test
- runs test
- semidestructive test
- sequential test
- sequential probability ratio test
- service test
- shakedown test
- shake-table test
- shelf-life test
- shock test
- short-term test
- short-time test
- significance test
- simulated test
- simulation test
- sing test
- space test
- specification test
- SS test
- static test
- statistical test
- step-stress test
- strength test
- structural test
- studentized test
- Student's test
- subjective test
- system test
- systems test
- terminal strength test
- thermal test
- thermal-fatigue test
- thermal-shock test
- tropical test
- truth-table test
- tuning-fork test
- Turing test
- two-sided test
- ultrasonic test
- unbiased test
- uniformly most powerful test
- unit root test
- variable addition test
- variable deletion test
- vertical-interval test
- vibration test
- vitality test
- voltage-breakdown test
- Wald test
- wear test
- White test
- Wilcoxon signed rank test -
13 test
1) тест, испытание, испытания; проверка || испытывать, проводить испытания; проверять2) показатель; стат. критерий, признак- odd test -
14 absolute
[ˌæbs(ə)'l(j)uːt] 1. прил.1) полный, абсолютный, безусловныйabsolute majority — абсолютное большинство, подавляющее большинство
- absolute vetoLeaving me in absolute ignorance of how to interpret her. — И оставила меня в полной неясности насчёт того, как её понимать.
Syn:2) беспримесный, чистый- absolute etherThe absolutest, and sometimes loathsomest, trash. — Эта чистейшей воды, и зачастую отвратительнейшая, мразь.
3) самовластный; абсолютный; неограниченный- absolute ruleabsolute ruler — самовластный правитель, тиран
4) действительный, несомненный- absolute proof
- absolute fact5) филос. относящийся к абсолюту, абсолютный ( в идеалистической философии)- absolute idea6) абсолютный- absolute error
- absolute magnitude
- absolute ceiling
- absolute altitude
- absolute height
- absolute altimeter
- absolute scale
- absolute system
- absolute temperature
- absolute zero
- absolute address
- absolute value7) лингв. абсолютный, обособленный- absolute participial clause8) лог. абсолютный2. сущ.In respect to the Relation of the Predicate to the Subject, Judgments are divided into simple or absolute, and conditional. — По критерию же отношения субъекта к предикату все суждения делятся на простые, или абсолютные, и на условные.
1) филос.; = the absolute, = the Absolute абсолют, окончательная действительность; реальность как она есть на самом деле ( в идеалистических философских концепциях)Shake off that dream of personality, and you will see that good and evil are identical in the Absolute. — Стряхните с себя этот сон, который зовётся личностью, и станет ясно, что добро и зло - это одно и то же с точки зрения абсолюта.
2) ( absolutes) филос. абсолютные понятия, принципы, ценности3) мат. абсолютная величина, модуль -
15 identity
1) матем. единица || единичный2) идентичность, одинаковость, тождественность5) опознание; отождествление6) матем. тождество7) геол. однородность•component of the identity — матем. компонента единицы
monoid with identity — матем. полугруппа с единицей
ring with identity — матем. кольцо с единицей
ring without identity — матем. кольцо без единицы
semigroup with identity — матем. полугруппа с единицей
semigroup without identity — матем. полугруппа без единицы
to reduce to an identity — матем. обращать в тождество
to satisfy an identity — мат. удовлетворять тождеству
-
16 strategy
стратегия, линия поведения- evaluation strategy -
17 tender
1. n няня; сестра; сиделка2. n сторож3. n диал. помощник; официант4. n амер. механик, оператор5. n мор. посыльное судно6. n мор. судно-матка7. n мор. плавучая база8. n мор. вспомогательное судно9. v переправлять на посыльном судне10. n предложение11. n юр. официальное предложение12. n сумма, вносимая в уплату долга13. n платёжное средство14. n стр. заявка на подряд15. n ком. тендер, договор-подряд16. v предоставлять или вносить; оплачиватьto tender a thousand dollars in full satisfaction of a debt — полностью оплатить долг размером в тысячу долларов
17. v выполнять18. v предлагать; представлять; давать, приносить19. v устраивать20. v подавать заявку21. v подавать заявление о подписке22. v брать подряд23. a нежный, мягкий, ласковый; любящий24. a мягкий, ненастойчивый25. a мягкий, лёгкий26. a делающий мягким, нежным27. a такой, от которого можно расчувствоватьсяtender of amends — предложение стороны возместить вред, причинение которого она признаёт
28. a заботливый, заботящийся; чуткий, внимательный29. a осторожный30. a слабый31. a хрупкий, ломкий32. a незрелый; молодойtender age — юные годы; незрелый возраст
33. a чувствительный; отзывчивый, чуткий34. a болезненный; уязвимый35. a обидчивый; легко ранимый36. a щекотливый, деликатный37. a мягкий, приглушённый38. a диал. жалкийtender sight — жалкое валкий, малоостойчивый
39. v уст. делать мягким, нежным; размягчать40. v уст. заботиться; быть внимательным41. v уст. оказывать уважениеСинонимический ряд:1. careful (adj.) careful; chary; considerate; reluctant2. kind (adj.) affectionate; compassionate; kind; kindhearted; loving; merciful; pitiful; responsive; softhearted; sympathetic; warm; warmhearted3. mild (adj.) delicate; gentle; mild; soft; soft-hearted; tender-hearted4. sensitive (adj.) aching; acute; painful; raw; sensitive; sore; ticklish; touchy5. weak (adj.) feeble; fragile; frail; supple; weak6. youthful (adj.) childish; childlike; immature; young; youthful7. boat (noun) boat; dinghy; lifeboat; motorboat; skiff8. evidence (noun) evidence; proof; sign9. offer (noun) bid; offer; offering; proffer; proposal10. give (verb) extend; give; hold out; offer; pose; present; proffer; submit; volunteerАнтонимический ряд:adult; apathetic; appropriate; callous; coarse; cruel; gentle; hardy; harsh; insensitive; iron; mature; merciless; pitiless; retain; tough
См. также в других словарях:
conditional proof — conditional proof, rule of … Philosophy dictionary
Conditional proof — A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. The assumed antecedent of a conditional proof is called the conditional proof… … Wikipedia
conditional proof, rule of — The rule in a deductive system that if A1…An⊦ B then A1…An–⊦ An→ B … Philosophy dictionary
Conditional — may refer to: Causal conditional, if X then Y, where X is a cause of Y Conditional mood (or conditional tense), a verb form in many languages Conditional probability, the probability of an event A given that another event B has occurred… … Wikipedia
Conditional immortality — Conditional immortality, or conditionalism, is the Christian doctrine that the human soul is naturally mortal, and that immortality is granted by God as a gift. Immortality, therefore, is conditional; this viewpoint stands in contrast to the more … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Conditional independence — These are two examples illustrating conditional independence. Each cell represents a possible outcome. The events R, B and Y are represented by the areas shaded red, blue and yellow respectively. And the probabilities of these events are shaded… … Wikipedia
Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia
Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… … Wikipedia
Method of conditional probabilities — In mathematics and computer science, the probabilistic method is used to prove the existence of mathematical objects with desired combinatorial properties. The proofs are probabilistic they work by showing that a random object, chosen from some… … Wikipedia
Direct proof — In mathematics and logic, a direct proof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually existing lemmas and theorems, without making any further assumptions. In order … Wikipedia